Dines Bjørner - PDFSEARCH.IO - Document Search Engine

Dines Bjørner
Results: 39

#	Item
21	A New Foundation for Computing Science 1 A Research & Experimental Engineering Programme Dines Bjørner∗ Add to Reading List Source URL: www.imm.dtu.dk - Date: 2015-05-22 05:08:06
22	Domain Engineering A Basis for Safety Critical Software Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark DTU, DK-2800 Kgs. Lyngby, Denmark E–Mail: , URL: www.imm.dtu.dk/˜dibj Add to Reading List Source URL: www.imm.dtu.dk - Date: 2014-03-18 04:09:10
23	Domain Engineering A Basis for Safety Critical Software Dines Bjørner Fredsvej 11, DK-2840 Holte, Danmark E–Mail: , URL: www.imm.dtu.dk/˜dibj Add to Reading List Source URL: www.imm.dtu.dk - Date: 2014-04-30 21:16:31
24	7 June 2016, 08:16 am: Submitted to Formal Aspects of Computing Domain Facets Analysis & Description – 7 June 2016, 08:16 am Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark. Add to Reading List Source URL: www2.compute.dtu.dk - Date: 2016-09-24 08:33:45
25	42 Lecture 2: Domains c Dines Bjørner 2011, Fredsvej 11, DK–2840 Holte, Denmark - April 25, 2012: 15:51 Add to Reading List Source URL: www2.imm.dtu.dk - Date: 2012-04-30 10:39:31
26	1 Domain Science & Engineering Lectures at BeiDa and ECNU1 Dines Bjørner Add to Reading List Source URL: www2.imm.dtu.dk - Date: 2012-11-17 03:47:38
27	1 PhD Lectures, TU Wien, 19–30 October: Domains and Requirements: Science & Engineering Dines Bjørner Add to Reading List Source URL: www.imm.dtu.dk - Date: 2015-10-21 03:41:51
28	1 Domain Analysis An Analysis Process Model Dines Bjørner Add to Reading List Source URL: www.imm.dtu.dk - Date: 2014-03-18 06:38:35
29	1 A New Foundation for Computing Science A Research & Experimental Engineering Programme Dines Bjørner Add to Reading List Source URL: www.imm.dtu.dk - Date: 2015-09-22 05:45:57
30	1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner Add to Reading List Source URL: www.imm.dtu.dk - Date: 2014-03-18 04:09:14